展开 证明整数加法群是循环群